rigorous statement of policy, sometimes expressed in the format IF…THEN…ELSE…, that must be followed when the stated conditions are satisfied